///|
pub(all) struct M(Int)

///|
pub fn M::f(m : M) -> Int {
  m.0
}
